University of Kent - PDFSEARCH.IO - Document Search Engine

University of Kent
Results: 1136

#	Item
231	© Curtin University of Technology 2005 Published by Learning Support Network Learning Support Network Curtin University of Technology Kent Street Bentley Add to Reading List Source URL: www.curtin.edu.my Language: English - Date: 2007-01-28 10:20:42 Bibliography Plagiarism Academic dishonesty Academic integrity Citation Parenthetical referencing Coursework Academic publishing Education Knowledge Academia
232	Fixing Letrec (reloaded) Abdulaziz Ghuloum R. Kent Dybvig Indiana University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:06 Formal methods Theoretical computer science Functional programming Models of computation Lambda calculus Scheme Hindley–Milner Hygienic macro Expression Software engineering Computing Mathematics
233	REPORT OF THE COUNCIL FOR THE YEAR 2008 Activities during the year Events A number of church visits and tours were offered. Members were invited to join John Vigar’s tours to a variety of Kent churches. Also available Add to Reading List Source URL: www.ecclsoc.org Language: English - Date: 2012-02-07 04:11:37 University of Bristol Society of Change Ringers Philosophy Bell ringing Christian philosophy Ecclesiology
234	U S C L I VA R VA R I AT I O N S A new look at southeast Greenland barrier winds and katabatic flow Kent Moore1 and Ian Renfrew2 University of Toronto, Canada Add to Reading List Source URL: polarmet.osu.edu Language: English - Date: 2015-04-02 16:01:40 Political geography Greenland Piteraq Ammassalik Island Europe Wind Katabatic wind Earth
235	Established in 1985, the Gold Medal for International Corporate Achievement in Sustainable Development honors a corporation that demonstrates preeminent industry leadership through implementation of global sustainable de Add to Reading List Source URL: www.wec.org Language: English - Date: 2011-04-25 06:48:41 Coca-Cola Economy of the United States Food and drink Food industry Alumni of the University of Hull Muhtar Kent The Coca-Cola Company
236	Measuring the research contribution of management academics using the Hirschindex John Mingers1 Kent Business School, University of Kent, Canterbury CT7 2PE, UK phone: , e-mail: Add to Reading List Source URL: www.harzing.com Language: English - Date: 2015-01-17 11:56:31 Knowledge Publishing Index numbers H-index G-index Impact factor Institute for Operations Research and the Management Sciences Web of Science Citation Bibliometrics Academic publishing Academia
237	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research, University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:15 Electronic design automation Formal methods Logic in computer science NP-complete problems Vehicle Identification Number Satisfiability Modulo Theories FO Kripke semantics Theoretical computer science Mathematical logic Logic
238	Generation-Friendly Eq Hash Tables Abdulaziz Ghuloum and R. Kent Dybvig Department of Computer Science, Indiana University, Bloomington, IN 47408 {aghuloum,dyb}@cs.indiana.edu Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:06 Information retrieval Artificial intelligence Hash table Hash function Garbage collection Cryptographic hash function Double hashing Hash Associative array Hashing Search algorithms Information science
239	Last Update: DecCourse List Bachelor of Science in Community Health Practice, The Chinese University of Hong Kong CHPR3001 Add to Reading List Source URL: chp.sphpc.cuhk.edu.hk Language: English - Date: 2013-12-11 03:36:06 Health policy Healthcare Health education Public health Health communication Occupational safety and health Health informatics Kent State University College of Public Health Health Medicine Health promotion
240	Three Implementation Models for Scheme by R. Kent Dybvig A dissertation submitted to the faculty of the University of North Carolina at Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2002-10-27 22:32:08 Subroutines Control flow Recursion Scheme programming language Procedural programming languages Continuation Closure Scheme Tail call Software engineering Computing Computer programming

UPDATE